An "almost dual" to Gottschalk's Conjecture
نویسندگان
چکیده
We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every pre-image of one is asymptotic to a pre-image of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injective, post-surjective cellular automata are reversible. We then show that on sofic groups, where it is known that injective cellular automata are surjective, post-surjectivity implies pre-injectivity. As no non-sofic groups are currently known, we conjecture that this implication always holds. This mirrors Gottschalk’s conjecture that every injective cellular automaton is surjective.
منابع مشابه
Some Remarks on Almost Periodic Transformations
1. Recurrent and almost periodic transformations. Notations. Let ƒ be a continuous mapping (not necessarily a homeomorphism) of a topological space X in itself (that is, f(X)QX). We say that ƒ is recurrent a t a point # £ X , or that x is recurrent under ƒ, if, given any neighbourhood U(x) of x, there exist infinitely many positive integers n for which f(x)ÇE.U(x). (This definition is equivalen...
متن کاملFrankl's Conjecture for a subclass of semimodular lattices
In this paper, we prove Frankl's Conjecture for an upper semimodular lattice $L$ such that $|J(L)setminus A(L)| leq 3$, where $J(L)$ and $A(L)$ are the set of join-irreducible elements and the set of atoms respectively. It is known that the class of planar lattices is contained in the class of dismantlable lattices and the class of dismantlable lattices is contained in the class of lattices ha...
متن کاملFunctorial Quantization and the Guillemin–sternberg Conjecture *
We propose that geometric quantization of symplectic manifolds is the arrow part of a functor, whose object part is deformation quantization of Poisson manifolds. The 'quantiza-tion commutes with reduction' conjecture of Guillemin and Sternberg then becomes a special case of the functoriality of quantization. In fact, our formulation yields almost unlimited generalizations of the Guillemin–Ster...
متن کاملOn $alpha $-semi-Short Modules
We introduce and study the concept of $alpha $-semi short modules.Using this concept we extend some of the basic results of $alpha $-short modules to $alpha $-semi short modules.We observe that if $M$ is an $alpha $-semi short module then the dual perfect dimension of $M$ is $alpha $ or $alpha +1$.%In particular, if a semiprime ring $R$ is $alpha $-semi short as an $R$-module, then its Noetheri...
متن کاملOn the oriented perfect path double cover conjecture
An oriented perfect path double cover (OPPDC) of a graph $G$ is a collection of directed paths in the symmetric orientation $G_s$ of $G$ such that each arc of $G_s$ lies in exactly one of the paths and each vertex of $G$ appears just once as a beginning and just once as an end of a path. Maxov{'a} and Ne{v{s}}et{v{r}}il (Discrete Math. 276 (2004) 287-294) conjectured that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016